$\vdash$  $\forall$$x$,$y$:$\mathbb{Z}$. \{($\uparrow$($x$ =$_{0}$ $y$)) $\Leftarrow\!\Rightarrow$ ($x$ = $y$)\}